 Each formula is given a truth condition and a falsity condition. For example, T is in the value of \(\neg A\) if and only if F is in the value of \(A\) and F is in the value of \(\neg A\) if and only if T is in the value of \(A\). With regard to conjunction, T is in the value of \(A \amp B\) if and only if T is in the value of \(A\) and T is in the value of \(B\) and F is in the value of \(A \amp B\) if and only if F is the value of \(A\) or F is in the value of \(B\). Disjunction has very similar truth and falsity conditions. 