In my Intro to Logic textbook there is a truth-table with the formula:(adsbygoogle = window.adsbygoogle || []).push({});

(~(p & q) = (~p v ~q))

The equal sign is meant to be a tribar

What is the main operator in this formula?

I think it is the first tilde but the textbook indicates that it is the tribar. Does anyone know the correct answer? Thanks.

**Physics Forums | Science Articles, Homework Help, Discussion**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Homework Help: Logic problem

**Physics Forums | Science Articles, Homework Help, Discussion**