convert-formula

Given

$$(A===B)$$

Express it using AND and NOT