converting a more traditional programming statement into ladder logic is fairly straightforward.
all rungs are "if/then" statements, with the XIC and XIO contacts being arguments, arguments in place sequentially are ANDed
Input1 Input2
|------| |-------|\|---------
would be read as (Input1 AND NOT Input2)
arguments in parallel are ORed:
Input1
|-----| |-----|------
|
Input2 |
|-----|\|-----|
would be read as (Input1 OR NOT Input2)
the coil at the end is the "then" statement:
Output1
-----------------()--------|
so, for "if(Input1 AND Input2) then Output1;"
Input1 Input2 Output1
|-------| |-------------| |--------------------------------------()-------|
Be careful, "implied" NOTs don't exist. As a programmer, I understood what you meant, but the PLC won't.
Edit: well, the formatting of line spacing didn't come out the way I expected...